de morgan's theorem

de morgan's theorem
\\də̇ˈmȯrgənz-, dēˈ-\ noun
Usage: usually capitalized D&M
Etymology: after Augustus De Morgan died 1871 English mathematician
: one of a pair of theorems in logic: the denial of a conjunction is equivalent to the alternation of the denials and the denial of an alternation is equivalent to the conjunction of the denials

Useful english dictionary. 2012.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements …   Wikipedia

  • De Morgan's laws — In formal logic, De Morgan s laws are rules relating the logical operators and and or in terms of each other via negation. With two operands A and B: In another form: NOT (A AND B) = (NOT A) OR (NOT B) NOT (A OR B) = (NOT A) AND (NOT B) The rules …   Wikipedia

  • De Morgan — is a surname, and may refer to: Augustus De Morgan, mathematician and logician. De Morgan s laws (or De Morgan s theorem), a set of rules from propositional logic. The De Morgan Medal, a mathematics prize awarded by the London Mathematical… …   Wikipedia

  • Augustus De Morgan — (1806 1871) Born 27 June 1806( …   Wikipedia

  • Four color theorem — Example of a four colored map A four colori …   Wikipedia

  • Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… …   Wikipedia

  • Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… …   Wikipedia

  • Vier-Farben-Theorem — Der Vier Farben Satz (früher auch als Vier Farben Vermutung oder Vier Farben Problem bekannt) ist ein mathematischer Satz und besagt, dass vier Farben immer ausreichen, um eine beliebige Landkarte in der euklidischen Ebene so einzufärben, dass… …   Deutsch Wikipedia

  • John Morgan (mathematician) — John Willard Morgan is an American mathematician, well known for his contributions to topology and geometry. He is currently Professor and Chair of the Mathematics Department at Columbia University. LifeHe received his B.A. in 1968 and Ph.D. in… …   Wikipedia

  • John Morgan (Mathematiker) — John Willard Morgan (* 21. März 1946 in Philadelphia) ist ein US amerikanischer Mathematiker, der sich mit Topologie und algebraischer Geometrie beschäftigt. Morgan studierte an der Rice University, wo er 1969 seinen Bachelor Abschluss machte und …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”